<HTML><HEAD>
<META NAME="legal" CONTENT="See notice at end of class.">
<META NAME="names" CONTENT="iterators, iteration, cursor_tree_iterators, cursor_tree_iteration, tree_iterators, tree_iteration">
<META NAME="description" CONTENT="Objects that are able to iterate over cursor trees,  on which they can perform repeated actions and tests according to a number of predefined control structures such as ``if'', ``until'' and others.">
<META NAME="traversal" CONTENT="preorder, postorder, inorder">
<META NAME="exploration" CONTENT="depth_first, breadth_first">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)">
<META NAME="copyright" CONTENT="Copyright (c) 1984-2006, Eiffel Software and others">
<META NAME="source" CONTENT="Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com">
<META NAME="library" CONTENT="EiffelBase: Library of reusable components for Eiffel.">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>cursor_tree_iterator Chart</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="cursor_tree_iterator_links.html">Relations</A></TD><TD><A HREF="cursor_tree_iterator_flatshort.html">Flat contracts</A></TD></TR></TABLE><B>class</B>
    <A HREF="../base/cursor_tree_iterator_chart.html">CURSOR_TREE_ITERATOR</A> [G]

<B>General</B>
    cluster: elks
    description: 
        "Objects that are able to iterate over cursor trees, 
        on which they can perform repeated actions and tests according
        to a number of predefined control structures such as ``if'',
        ``until'' and others."

<B>Ancestors</B>
    <A HREF="../base/linear_iterator_chart.html">LINEAR_ITERATOR</A> [G]
    <A HREF="../base/linear_iterator_chart.html">LINEAR_ITERATOR</A> [G]
    <A HREF="../base/linear_iterator_chart.html">LINEAR_ITERATOR</A> [G]

<B>Queries</B>
    <A HREF="../base/linear_iterator_flatshort.html#f_for_all">breadth_for_all</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_there_exists">breadth_there_exists</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_exhausted">exhausted</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_internal_item_tuple">internal_item_tuple</A>: <A HREF="../base/tuple_chart.html">TUPLE</A> [G]<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/iterator_flatshort.html#f_invariant_value">invariant_value</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_item">item</A>: G<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_item_tuple">item_tuple</A>: <A HREF="../base/tuple_chart.html">TUPLE</A> [G]<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_off">off</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_for_all">post_for_all</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_there_exists">post_there_exists</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_for_all">pre_for_all</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_there_exists">pre_there_exists</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/cursor_tree_iterator_flatshort.html#f_target">target</A>: <A HREF="../base/cursor_tree_chart.html">CURSOR_TREE</A> [G]

<B>Commands</B>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_for">breadth_continue_for</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; n, k: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_search">breadth_continue_search</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]; b: <A HREF="../base/boolean_chart.html">BOOLEAN</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_until">breadth_continue_until</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_while">breadth_continue_while</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/iterator_flatshort.html#f_do_all">breadth_do_all</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]])<FONT COLOR="red"> -- (from ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_do_for">breadth_do_for</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; i, n, k: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/iterator_flatshort.html#f_do_if">breadth_do_if</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_do_until">breadth_do_until</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_do_while">breadth_do_while</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/cursor_tree_iterator_flatshort.html#f_breadth_forth">breadth_forth</A>
    <A HREF="../base/linear_iterator_flatshort.html#f_search">breadth_search</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]; b: <A HREF="../base/boolean_chart.html">BOOLEAN</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/cursor_tree_iterator_flatshort.html#f_breadth_start">breadth_start</A>
    <A HREF="../base/linear_iterator_flatshort.html#f_until_do">breadth_until_do</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_while_continue">breadth_while_continue</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_while_do">breadth_while_do</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_for">post_continue_for</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; n, k: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_search">post_continue_search</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]; b: <A HREF="../base/boolean_chart.html">BOOLEAN</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_until">post_continue_until</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_while">post_continue_while</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/iterator_flatshort.html#f_do_all">post_do_all</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]])<FONT COLOR="red"> -- (from ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_do_for">post_do_for</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; i, n, k: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/iterator_flatshort.html#f_do_if">post_do_if</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_do_until">post_do_until</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_do_while">post_do_while</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/cursor_tree_iterator_flatshort.html#f_post_forth">post_forth</A>
    <A HREF="../base/linear_iterator_flatshort.html#f_search">post_search</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]; b: <A HREF="../base/boolean_chart.html">BOOLEAN</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/cursor_tree_iterator_flatshort.html#f_post_start">post_start</A>
    <A HREF="../base/linear_iterator_flatshort.html#f_until_do">post_until_do</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_while_continue">post_while_continue</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_while_do">post_while_do</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_for">pre_continue_for</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; n, k: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_search">pre_continue_search</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]; b: <A HREF="../base/boolean_chart.html">BOOLEAN</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_until">pre_continue_until</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_continue_while">pre_continue_while</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/iterator_flatshort.html#f_do_all">pre_do_all</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]])<FONT COLOR="red"> -- (from ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_do_for">pre_do_for</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; i, n, k: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/iterator_flatshort.html#f_do_if">pre_do_if</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_do_until">pre_do_until</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_do_while">pre_do_while</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/cursor_tree_iterator_flatshort.html#f_pre_forth">pre_forth</A>
    <A HREF="../base/linear_iterator_flatshort.html#f_search">pre_search</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]; b: <A HREF="../base/boolean_chart.html">BOOLEAN</A>)<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/cursor_tree_iterator_flatshort.html#f_pre_start">pre_start</A>
    <A HREF="../base/linear_iterator_flatshort.html#f_until_do">pre_until_do</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_while_continue">pre_while_continue</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_while_do">pre_while_do</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_set">set</A> (s: [<B>like</B> <A HREF="../base/cursor_tree_iterator_flatshort.html#f_target">target</A>] <A HREF="../base/cursor_tree_chart.html">CURSOR_TREE</A> [G])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_start">start</A><FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>
    <A HREF="../base/linear_iterator_flatshort.html#f_until_continue">until_continue</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR_ITERATOR)</FONT>

<TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="cursor_tree_iterator_links.html">Relations</A></TD><TD><A HREF="cursor_tree_iterator_flatshort.html">Flat contracts</A></TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>
